Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
We now are starting to see the first applications of formal methods to the development of safety critical based systems. However, discussion on what are appropriate methods and tools is still intense and there is no standard approach that presents a complete solution for the formal development of such systems. Some of the protagonists claim (or at least are said to claim by their detractors) th...
متن کاملSafety-critical systems, formal methods and standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly a ects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing con dence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملProgramming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملthe impact of generative learning strategy use on efl learners’ reading achievement and critical thinking
این پژوهش کوشیده است تأثیر به کارگیری راهبردهای زایا را بر پیشرفت و بسندگی در خواندن و درک مطلب و نیز بر تفکر انتقادی زبان آموزان انگلیسی را بررسی کند. در این پژوهش تعداد 46 دانش آموز دختر در مقطع متوسطه اول به صورت تصادفی انتخاب وبه دو گروه تجربی و شاهد با تعداد دانش آموزان مساوی در هر گروه تقسیم شدند. به هر دو گروه سه داستان کوتاه به عنوان موضوع خواندن برای کلاس داده شد. به گروه تجربی درابتدا...
Formal Methods in Safety-Critical Railway Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its compo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1992
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/35.6.579